Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
231	Fast and Precise Hybrid Type Inference for JavaScript Brian Hackett Shu-yu Guo ∗ Mozilla Add to Reading List Source URL: rfrn.org Language: English - Date: 2012-04-04 17:52:15 Data types Type theory Cross-platform software Compiler construction Java programming language Type system JavaScript C Polymorphism Software engineering Computing Programming language theory
232	ONE Learning from Error, Severe Testing, and the Growth of Theoretical Knowledge Deborah G. Mayo Add to Reading List Source URL: www.phil.vt.edu Language: English - Date: 2011-05-11 00:02:39 Design of experiments Statistical inference Philosophy of science Psychometrics Statistical hypothesis testing Bayesian probability Null hypothesis Statistical power Type I and type II errors Statistics Science Hypothesis testing
233	Polymorphic Delimited Continuations Kenichi Asai1 and Yukiyoshi Kameyama2 1 Department of Information Science, Ochanomizu University [removed] Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2007-10-10 00:35:06 Theoretical computer science Parametric polymorphism Symbol Type variable Type inference Type system Type theory Programming language theory Software engineering
234	Type Inference Using the Cartesian Product Algorithm on a Dynamically Typed Language Steve Hanov University of Waterloo 200 University Avenue West Waterloo, Ontario, Canada N2L 3G1 Add to Reading List Source URL: stevehanov.ca Language: English - Date: 2010-09-30 13:17:04 Type theory Data types Object-oriented programming Compiler construction Theoretical computer science Type system Variable Data-flow analysis Static single assignment form Software engineering Computing Computer programming
235	Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages Boris Spasojevi´c, Mircea Lungu, Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2014-10-02 04:03:19 Type theory Cross-platform software Data types Smalltalk Type system Objective-C Type inference C Sharp Symbol Software engineering Computing Computer programming
236	DEBORAH AN O B J E C T I V E G. M A Y O Add to Reading List Source URL: www.phil.vt.edu Language: English - Date: 2011-05-10 23:59:01 Knowledge Statistical hypothesis testing Bayesian probability Null hypothesis Statistical inference Statistical significance Scientific method Type I and type II errors Test statistic Statistics Hypothesis testing Science
237	Type-Correct Changes — A Safe Approach to Version Control Implementation Jason Dagit November 13, 2010 Contents Add to Reading List Source URL: www.cs.famaf.unc.edu.ar Language: English - Date: 2014-05-30 10:52:18 Computer programming Darcs Haskell Generalized algebraic data type Type system Yi Type class Glasgow Haskell Compiler Type inference Computing Software engineering Type theory
238	Week 6 – DQ 1 Hypothesis Testing – How to Eat Sharks (revised) Don Lucki, Jr. 1 Add to Reading List Source URL: www.oneroadmanypaths.org Language: English - Date: 2014-11-20 05:21:44 Design of experiments Statistical inference Sharks Ichthyology Shark Statistical hypothesis testing P-value Type I and type II errors Null hypothesis Hypothesis testing Statistics Fish
239	Table 4. Families in Poverty by Type of Family: 2012 and[removed]Numbers in thousands, confidence intervals [C.I.] in thousands or percentage points as appropriate. Families as of March of the following year. For informat Add to Reading List Source URL: www.census.gov Language: English - Date: 2014-09-16 09:34:05 Measurement Statistical inference Confidence interval Poverty Standard error Statistics Current Population Survey United States Census Bureau
240	Type Inference on Noisy RDF Data Heiko Paulheim and Christian Bizer University of Mannheim, Germany Research Group Data and Web Science {heiko,chris}@informatik.uni-mannheim.de Add to Reading List Source URL: www.heikopaulheim.com Language: English - Date: 2013-08-14 03:42:31 World Wide Web UMBEL Cyc DBpedia YAGO Knowledge base Ontology RDF Schema Information extraction Semantic Web Information Science

UPDATE